from opf.ontology import Ontology, Topic, attribute, realizer
from opf.ontology import (DisjointError,
                          InstantiatingAbstractClass,
                          NotOntologicalParentClass)
from opf.atomicpredicate import (AtomicPredicateArgCountError,
                                 AtomicPredicateObjectTypeError,
                                 AtomicPredicateSubjectTypeError,
                                 WrongRoleName)
from opf.context import context
from opf.predicate import exists
from opf.utils import freezeResult, freezeResults, fmtQ